let ((a: int) as b) = (1){caret}
